Classical logic - PDFSEARCH.IO - Document Search Engine

Classical logic
Results: 885

#	Item
501	The morning star and Catholic messenger (New Orleans, LA[removed]p 4] Add to Reading List Source URL: chroniclingamerica.loc.gov Language: English - Date: 2010-09-07 13:17:58 Modal logic Non-classical logic Philosophical logic Integral transforms Word square English orthography Mathematical analysis Logic Mathematics
502	econstor www.econstor.eu Der Open-Access-Publikationsserver der ZBW – Leibniz-Informationszentrum Wirtschaft The Open Access Publication Server of the ZBW – Leibniz Information Centre for Economics Add to Reading List Source URL: www.econstor.eu Language: English - Date: 2010-01-21 04:07:39 New classical macroeconomics Deduction Entailment Metalogic Rational expectations Logic Propositional calculus Macroeconomics
503	Chapter 1 Mobile Resource Guarantees Evaluation Paper Donald Sannella1 , Martin Hofmann2 , David Aspinall1 , Stephen Gilmore1 , Ian Stark1 , Lennart Beringer1 , Hans-Wolfgang Loidl2 , Kenneth MacKenzie1 , Alberto Momigl Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-12-13 07:50:27 Science Modal logic Mathematical logic Logic Non-classical logic Philosophical logic
504	AUTOMORPHIC FORMS NOTES, PART I DANIEL LITT The goal of these notes are to take the classical theory of modular/automorphic forms on the upper half plane and reinterpret them, first in terms L2 (Γ \ SL(2, R)) and then i Add to Reading List Source URL: math.stanford.edu Language: English - Date: 2012-10-16 18:46:50 Differential topology Mathematics Operator theory Orbifold Linear temporal logic Mathematical analysis Representation theory Abstract algebra
505	The PMA and Relativizing Change for Action Update Patrick Doherty Dept. of Computer Science Linkoping University S[removed]Linkoping, Sweden Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-03 06:08:21 Boolean algebra Propositional calculus Modal logic Philosophical logic Consistency Well-formed formula Mereology Logic Mathematical logic Non-classical logic
506	/info/www/ext/epa/arch/cis[removed]paper.dvi Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-24 05:53:23 Probability interpretations Science Artificial intelligence Logic in computer science Non-classical logic Fuzzy set Segmentation Uncertainty Measurement Logic Mathematical logic Fuzzy logic
507	Fundamenta Informaticae[removed]–[removed]IOS Press Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-01 08:51:35 Non-classical logic Logic programming Defeasible logic Inference Non-monotonic logic Æ Stratification First-order logic Logic Mathematical logic Reasoning
508	Annals of Mathematics and Articial Intelligence[removed]) ?{? 1 TALplanner: A Temporal Logic Based Forward Chaining Planner Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2011-05-25 06:12:58 Non-classical logic Linear temporal logic Temporal logic Modal logic 8T METAR Action Physics Logic Philosophical logic
509	Fundamenta Informaticae ?? ([removed]–15 IOS Press A Correspondence Framework between Three-Valued Logics and Similarity-Based Approximate Reasoning Patrick Doherty∗ Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-03 09:26:04 Model theory Non-classical logic Propositional calculus Philosophical logic Boolean algebra Interpretation Modal logic First-order logic Function Logic Mathematical logic Mathematics
510	Conditional progressive planning: a preliminary report Lars Karlsson Department of Technology Orebro Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-02 05:33:22 Artificial intelligence Non-classical logic Linguistic modality Semantics Logic programming Modal operator Epistemology Nils Nilsson Planner Logic Mathematical logic Modal logic

UPDATE